退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在重写逻辑规范中验证可达性逻辑属性
Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei; Nowak, David;
机译:2005年中国计量器具国家检定规程和校准规范2005年第148号/ 2005年中国计量器具国家检定规程和校准规范2005年第184号
机译:财产规范模式在工作中:验证和不一致的解释
机译:规范和验证超特性的团队语义
机译:结合定理证明和缩小来重写逻辑规范
机译:属性规范模式的形式化和验证。
机译:术中植入定向钯源网格(CivaSheet™):剂量学验证临床调试剂量规范和初步经验
机译:在重写逻辑规范上验证可达性逻辑属性
机译:规格验证程序,计算机可读存储介质规格验证程序,规格验证装置和规格验证方法
机译:可读记录介质,规格验证设备,在记录有规格验证程序的计算机上读取的规格和验证方法,程序
机译:逻辑规格验证程序,逻辑规格验证装置和逻辑规格验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。